<?hh

echo "Hello";
